document.write('01252');