document.write('12612')