document.write('02533');