document.write('0504\n');