document.write('02256');