document.write (" 5472 ");