document.write('3125 ');