document.write('3112 ');