document.write('01249');