document.write('01200');