document.write('01992');