document.write (" 4472 ");