document.write (" 3442 ");