document.write('02530');