document.write (" 6023 ");