document.write('3492\n');