document.write('3147 ');