document.write('3141 ');