document.write('5112 ');