document.write('3112');document.write('');