document.write('5612')