;

VIRTUAL TIME