document.write ("37500");