static int toMS_int(double seconds) {
  ret (int) (seconds*1000);
}