document.write('4248\n');