document.write('01225');