document.write('0507\n');