document.write (" 6422 ");