document.write (" 4222 ");