document.write (" 6223 ");