document.write('02532');