document.write('0900\n');