document.write (" 6423 ");