PHP Code:
timepassed = (getTime() - level.starttime) / 1000;
secondsleft = int( (level.timelimit*60) - timepassed + 0.5 );