laurent@371: from pyjs import *