document.write('6012');
document.write('');