document.write('0600\n');