document.write('01260');