space between ; and //