document.write (" 11425 ");