document.write('0639\n');