document.write (" 4225 ");