document.write('0784\n');