document.write('12')