window.document.write("");
(setq a "12342453543")
(princ a)