document.write (" 25022 ");