document.write (" 25023 ");