document.write (" 5672 ");